Studies towards the total synthesis of taxoids: An efficient formal total synthesis of an A-seco taxane framework