(4S)-4-[N-(3-{(2S)-2-[(tert-Butyl)oxycarbonyl]pyrrolidinyl}(1S,2S)-2-hydroxy-3-oxo-1-benzylpropyl)carbamoyl]-4-[(phenylmethoxy)carbonylamino]butanoic acid AIDS-071488 AIDS071488