(R)-tert-butyl 4-(3-(methylsulfonyloxy)-2-oxopyrrolidin-1-yl)piperidine-1-carboxylate (HCID 86688072)|Huagongshe