.Beta.-(1-Naphthyl)-.alpha.-benzoylacrylonitrile 2-Benzoyl-3-(1-naphthyl)acrylonitrile AIDS-137853 AIDS137853 NSC643187