AIDS-170437 AIDS170437 Methyl 4,7-dioxobenzo[b]thiophene-2-carboxylate