(2S)-1-{Methoxy[2-phenyl-1-(2,2,2-trifluoroacetylamino)ethyl]carbonyl}pyrrolidine-2-carboxamide AIDS-003781 AIDS003781 Phosphonamidate methyl ester