All of the following compounds may be synthesized from cholesterol except