(2R,3S)-3-(N-Benzyloxycarbonyl)amino-2-hydroxy-4-phenylbutyryl-L-prolyl-tert-butyl amide AIDS-071337 AIDS071337 N-(3-{(2S)-2-[N-(tert-Butyl)carbamoyl]pyrrolidinyl}(1S,2R)-2-hydroxy-3-oxo-1-benzylpropyl)(phenylmethoxy)carboxamide