(2S,4EZ)-4benzylidene-1-(tert-butoxycarbonyl)-2-pyrrolidinecarboxylic acid (HCID 69250545)|Huagongshe