3β-(Acetyloxy)cholest-4-en-6-one ethylene acetal