5-Cholesten-3-one 601-54-7 CHOLEST-5-EN-3-ONE Cholestenone Cholesterone EINECS 210-004-6 NSC 118979 Oxidized cholesterol delta(sup 5)-Cholestenone