Synthesis of ABCtaxoid ring systems via a convergent strategy