5.alpha.-3-[Bis(3'-carboxy-5'-chloro-4'-hydroxyphenyl)methylene]cholestane AIDS-025249 AIDS025249 Cosalane analog