(2S,3R)-3-But-3-enyl-1-((S)-1-phenyl-ethyl)-pyrrolidine-2-carboxylic acid ethyl ester (HCID 67003902)|Huagongshe