AIDS-087512 AIDS087512 Ethyl 5-hydroxy-4,7-dioxobenzo[b]thiophene-6-carboxylate NSC651209