AIDS-016162 AIDS016162 Methyl 2,3,8-trimethyl-4,7-dioxo-5,6,7,8-tetrahydro-4H-thieno[2,3-b]azepine-5-carboxylate NSC215125