.psi.-Cholesterol 475-32-1 Cholest-4-en-7-ol, (7.beta.)- Cholest-4-en-7.beta.-ol NSC134907 Pseudocholesterol