.Alpha.-Benzoyl-.beta.(.beta.-thienyl)-acrylonitrile 2-Benzoyl-3-(3-thienyl)acrylonitrile AIDS-137825 AIDS137825 NSC643157