Synthesis of the taxol AB-system by olefination of an A-ring C1 ketone and direct B-ring closure