(3.beta.,24R,S)-24-Ethyl-24-thianiacholest-5-en-3-ol Iodide 24-thia Cholesterol analog AIDS-008834 AIDS008834