(3S,5S)-1-benzyloxycarbonyl-5-methoxycarbonyl-pyrrolidine-3-carboxylic acid|Huagongshe