AIDS-145160 AIDS145160 Dimethyl 1-(formylamino)-2-(1-trityl-1H-imidazol-4-yl)vinylphosphonate NSC669592