3'',3'''-Dichloro-4'',4'''-bis(p-carboxybenzyloxy)-5'',5'''-dicarboxy-4',4'-diphenyl-3.beta.-[1-(3'-butenyl)]cholestane AIDS-072570 AIDS072570