Stereochemically controlled synthesis of 20-isocholesterol