AIDS-145220 AIDS145220 Dimethyl 1-(formylamino)-2-(1-trityl-2,3-dihydro-1H-imidazol-4-yl)vinylphosphonate NSC669683