5-ALPHA-CHOLESTA-724-DIEN-3-BETA-OL 5alpha-cholesta-7,24-dien-3beta-ol