AIDS-071492 AIDS071492 tert-Butyl (2S)-1-(3-{(2S)-3-phenyl-2-[(phenylmethoxy)carbonylamino]propanoylamino}(2S,3S)-2-hydroxy-4-phenylbutanoyl)pyrrolidine-2-carboxylate