Synthesis of A-ring fragments of 1α,25-dihydroxyvitamin D3 and taxane diterpenoids: Effective construction of conjugated formylcyclohexene frameworks from isoxazolines