4,4-di methyl-5α-cholesta-8,14-dien-3β-ol A new precursor of cholesterol in mammalian tissues☆