Total synthesis of Taxol. 3. Formation of Taxol's ABC ring skeleton