Inhibitors of sterol synthesis. Concerning the structure of 15β-methyl-5α,14β-cholest-7-ene-3β,15α-diol, an inhibitor of cholesterol biosynthesis