5.alpha,.3.beta.-[4,4-(3',3''-Dicarboxy-5',5''-dichloro-4',4''-bis(m-nitrobenzyloxy)diphenyl)buten-3-yl)]cholestane AIDS-072572 AIDS072572