4-(2-Benzoyl-3-oxo-1-butenyl)benzonitrile AIDS-135827 AIDS135827 NSC636393