24-[Bis(3'-carboxy-5'-chloro-4'-hydroxyphenyl)methylene]-3-3-difluorocholane AIDS-025251 AIDS025251 Cosalane analog