3'',3'''-Dichloro-4'',4'''-bis(o-carboxybenzyloxy)-5'',5'''-dicarboxy-4',4'-diphenyl-3.beta.-[1-(3'-butenyl)]cholestane AIDS-072568 AIDS072568