(3.beta.,24R,S)-24-Methyl-24-thianialanost-8-en-3-ol Iodide 24-thia Lanosterol analog AIDS-008833 AIDS008833