1-Ethyl-1,2,3,9-tetrahydro-4H-.beta.-carbolin-4-one AIDS-133522 AIDS133522 NSC629425