3,4-Methylenedioxy-.alpha.-benzoyl cinnamonitrile 3-(1,3-Benzodioxol-5-yl)-2-benzoylacrylonitrile AIDS-137835 AIDS137835 NSC643167