(2S,4R)-tert-butyl 2-((1R,2S)-1-(ethoxycarbonyl)-2-vinylcyclopropylcarbamoyl)-4-(4-nitrobenzoyloxy)pyrrolidine-1-carboxylate|Huagongshe