AIDS-137836 AIDS137836 Diethyl 2-(1,3-benzodioxol-5-yl)-1-cyanovinylphosphonate Diethyl 3,4-methylenedioxy-.alpha.-phosphono cinnamonitrile NSC643169