3'',3'''-Dichloro-4'',4'''-bis(m-carboxybenzyloxy)-5'',5'''-dicarboxy-4',4'-diphenyl-3.beta.-[1-(3'-butenyl)]cholestane AIDS-072569 AIDS072569