AIDS-071239 AIDS071239 tert-Butyl (2S)-1-(3-{(2S)-4-oxo-2-[(phenylmethoxy)carbonylamino]-4-piperidylbutanoylamino}(2S,3S)-2-hydroxy-4-phenylbutanoyl)pyrrolidine-2-carboxylate