AIDS-134948 AIDS134948 Diethyl 2-benzoyl-1,2,4,9-tetrahydro-3H-.beta.-carboline-3,3-dicarboxylate NSC634079