5-alpha-Ergost-7-en-3-beta-ol 516-78-9 EINECS 208-225-8 gamma-Ergostenol