An AC → ABC approach to taxol involving B-ring closure at C-1–C-2