Prepn: B. Gaspert et al., J. Chem. Soc. 1958, 624; C. Djerassi, D. Marshall, J. Am. Chem. Soc. 80, 3986 (1958); T. G. Halsall et al., J. Chem. Soc. 1959, 2798; S. L. Mukherjee, P. C. Dutta, ibid. 1960, 67. Inhibitor of cholesterol biosynthesis: J. A. Nelson et al., J. Am. Chem. Soc. 100, 4900 (1978); T.-Y. Chang et al., J. Biol. Chem. 254, 11258 (1979).