AIDS-141788 AIDS141788 Ethyl 5-oxo-2,3,5,8-tetrahydrothieno[3,2-g]quinoline-6-carboxylate NSC658158