5.alpha-3.beta.-[4',4'-(3'',3'''-Dicarboxy-5'',5'''-dichloro-4'',4'''-dihydroxydiphenyl)butyl]cholestane AIDS-087631 AIDS087631 Cosalane analog