AIDS-135824 AIDS135824 Diethyl 1-cyano-2-(4-fluorophenyl)vinylphosphonate NSC636390