(2S)-1-[(2S)-1-phenylmethoxycarbonylpyrrolidine-2-carbonyl]pyrrolidine-2-carboxylic acid