AIDS-071487 AIDS071487 tert-Butyl (2S)-1-(3-{(2S)-4-carbamoyl-2-[(phenylmethoxy)carbonylamino]butanoylamino}(2S,3S)-2-hydroxy-4-phenylbutanoyl)pyrrolidine-2-carboxylate