6-Butyl-9-oxo-6,9-dihydrothieno[2,3-f]quinoline-8-carboxylic acid AIDS-141787 AIDS141787 NSC658157