Allylic phosphine oxides as precursors of dienes of defined geometry: Synthesis of 3-deoxyvitamin D2