AIDS-137827 AIDS137827 Diethyl 1-cyano-2-(3-thienyl)vinylphosphonate Diethyl- .alpha.-phosphono-.beta.-thienylacrylonitrile NSC643159