Concerning the structure of 7α,15β-dichloro-5α-cholest-8(14)-en-3β-ol, a novel inhibitor of cholesterol biosynthesis