AIDS-071494 AIDS071494 tert-Butyl (2S)-1-((2S,3S)-2-hydroxy-4-phenyl-3-{2-[(phenylmethoxy)carbonylamino]acetylamino}butanoyl)pyrrolidine-2-carboxylate