747-90-0 Cholesta-3,5-diene Cholesterilene Cholesterylene EINECS 212-021-4 NSC 5193 delta(sup 3,5)-Cholestadiene delta-(sup 3,5)-Cholestadien [German] delta-3,5-Cholestadiene