5-(2-Fluorobenzylidene)-2,2-dimethyl-1,3-dioxane-4,6-dione AIDS-135831 AIDS135831 NSC636397