AIDS-016040 AIDS016040 Ethyl 6-ethyl-9-oxo-6,9-dihydrothieno[2,3-f]quinoline-8-carboxylate NSC658155