25-Iodolanosterol AIDS-111676 AIDS111676 Lanosta-8,24-dien-3-ol, 24-iodo-, (3b)-