3,3'-Dibromo-4,4'-dimethoxy-5,6,5',6'-bis(methylenedioxy)-2-carboxyl-2'-[(.beta.-N-pyrrolidinylethyl)carbamoyl]biphenyl AIDS-081200 AIDS081200