A formal total synthesis of (±)-aphidicolin