(3-beta,5-alpha)-Cholest-7-en-3-ol 5-alpha-Cholest-7-en-3-beta-ol 5alpha-Cholest-7-en-3beta-ol 7-Cholesten-3-beta-ol 80-99-9 Cholest-7-en-3-ol, (3-beta,5-alpha)- (9CI) Cholesterin [German] Lathosterol delta(sup 7)-Cholestenol gamma-Cholesterol