3'',3'''-Dichloro-4'',4'''-dihydroxy-5'',5'''-di[(1-carboxyisopentyl)carbamoyl]-4',4'-diphenyl-3-beta-(3'-buten-1'-yl)-cholestane AIDS-105692 AIDS105692 Cosalane deriv