9H-.Beta.-Carboline-3-carboxylic acid AIDS-131516 AIDS131516 NSC623957