AIDS-132657 AIDS132657 Ethyl 5-oxo-2,3,5,8-tetrahydrothieno[3,2-g]quinoline-6-carboxylate 1,1-dioxide compound with ethyl 9-oxo-2,3,6,9-tetrahydrothieno[2,3-f]quinoline-8-carboxylate 1,1-dioxide (1:1) NSC627054