(2S)-1-{(2S)-2-[(tert-Butoxy)carbonylamino]-3-phenylpropanoyl}pyrrolidine-2-carboxylic acid AIDS-058383 AIDS058383 Boc-Phe-Pro