Further Aspects of the Wittig Reaction in the Steroid Series. 20-Dehydrocholesterol and 20-Isocholesterol