2-(3-(4-Phenyl-1-piperazinyl)propanoyl)-1-(3-pyridinyl)-2,3,4,9-tetrahydro-1H-.beta.-carboline AIDS-134725 AIDS134725 NSC633407