2,3,4,9-Tetrahydro-1H-.beta.-carboline-1-carboxylic acid AIDS-133520 AIDS133520 NSC629423