AIDS-131397 AIDS131397 Diethyl 2-methyl-3-oxo-2,3-dihydrothieno[2,3-b]indolizine-2,9-dicarboxylate NSC623684