X-ray crystallography of cholest-3,5-diene-7-one