5.alpha-6.beta.-[4',4'-(3'',3'''-Dicarboxy-5'',5'''-dichloro-4'',4'''-dihydroxydiphenyl)-3'-butenyl]cholestane AIDS-087632 AIDS087632 Cosalane analog