Formal total syntheses of (+̲)- and (+)-aphidicolin