5.alpha-3.beta.-[3',3'-(3'',3'''-Dicarboxy-5'',5'''-dichloro-4'',4'''-dihydroxydiphenyl)-2'-propenyl]cholestane AIDS-087629 AIDS087629 Cosalane analog