2-Benzoyl-1,2,3,9-tetrahydro-4H-.beta.-carbolin-4-one AIDS-132893 AIDS132893 NSC627678