dimethyl(2S,5R)-5-((trimethylsilyl)ethynyl)pyrrolidine-1,2-dicarboxylate (HCID 11161884)|Huagongshe