Synthesis of putative precursors of ecdysone. Part 3. Synthesis of 3β, 14α, 25-trihydroxy-5β-cholest-7-en-6-one