5,6-Epoxy-4-oxo-2-heptene-dioic acid AIDS-017726 AIDS017726