AIDS-071237 AIDS071237 tert-Butyl (2S)-1-(3-{(2S)-3-(N,N-dimethylcarbamoyl)-2-[(phenylmethoxy)carbonylamino]propanoylamino}(2S,3S)-2-hydroxy-4-phenylbutanoyl)pyrrolidine-2-carboxylate