(3.beta.)-24-Thiacholest-5-en-3-ol 24-thia Cholesterol analog AIDS-008829 AIDS008829