Synthesis of cholesta-5,8-dien-3β-ol