AIDS-137854 AIDS137854 Diethyl 1-cyano-2-(1-naphthyl)vinylphosphonate Diethyl-.alpha.-naphthylidene-.alpha.-phosphonoacetonitrile NSC643188