(2S)-N-(3-{(2S)-2-[N-(4-Pyridylmethyl)carbamoyl]pyrrolidinyl}(1S,2S)-2-hydroxy-3-oxo-1-benzylpropyl)-3-carbamoyl-2-[(phenylmethoxy)carbonylamino]propanamide AIDS-071235 AIDS071235