5.alpha,.3.beta.-[4,4-(3',3''-Dicarboxy-5',5''-dichloro-4',4''-bis(o-nitrobenzyloxy)diphenyl)buten-3-yl)]cholestane AIDS-072571 AIDS072571