2,2,2-Trichloro-1,1-dimethylethyl 3-((2-(methoxycarbonyl)-1-pyrrolidinyl)carbonyl)-1-(2-methyl-1-propenyl)-1,3,4,9-tetrahydro-2H-.beta.-carboline-2-carboxylate AIDS-132874 AIDS132874 NSC627658