3,4-Dihydro[1]benzothieno[2,3-c]pyridine-2(1H)-carboxylic acid AIDS-127971 AIDS127971 NSC206571