AIDS-145223 AIDS145223 Dimethyl 1-(acetylamino)-2-(1-trityl-1H-imidazol-4-yl)vinylphosphonate NSC669686