Efficient Estimation of a Distribution Function under Quadrant Dependence