AIDS-143193 AIDS143193 Dimethyl 1-methyl-4-oxo-8-oxabicyclo[3.2.1]oct-6-ene-6,7-dicarboxylate NSC663581