5-(2-Hydroxybenzoylhydrazinomethylen]-2,2-dimethyl-1,3-dioxane-1,3-dione AIDS-078953 AIDS078953