allyl (1R,3R,5S,6S)-6-[(R)-1-allyloxycarbonyloxyethyl]-1-methyl-2-oxo-1-carbapenam-3-carboxylate 、
(2S,4S)-N-allyloxycarbonyl-2-hydroxymethyl-4-mercaptopyrrolidine 以obtained in Reference Example 1的产率得到Allyl (1R,5S,6S)-2-[(2S,4S)-N-allyloxycarbonyl-2-hydroxymethylpyrrolidin-4-ylthio]-6-[(R)-1-allyloxycarbonyloxyethyl]-1-methyl-1-carbapen-2-em-3-carboxylate