(3.beta.,7.beta.)-7-Hydroxycholest-5-en-3-ol 7.beta.-Hydroxycholesterol AIDS-080406 AIDS080406