Total synthesis of (+)-aquaticol by biomimetic phenol dearomatization: double diastereofacial differentiation in the Diels-Alder dimerization of orthoquinols with a C2-symmetric transition state.