AIDS-071490 AIDS071490 tert-Butyl (2S)-1-(3-{(2S)-3-cyano-2-[(phenylmethoxy)carbonylamino]propanoylamino}(2S,3S)-2-hydroxy-4-phenylbutanoyl)pyrrolidine-2-carboxylate