allyl (4R,5S,6S)-3-[(2S,4S)-1-allyloxycarbonyl-2-(2-hydroxyethyloxymethyl)pyrrolidin-4-yl]thio-6-[(1R)-1-(t-butyldimethylsilyloxy)ethyl]-4-methyl-7-oxo-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylate (HCID 57102959)|Huagongshe