(4R,5S,6S)-3-((3S,5S)-1-Allyloxycarbonyl-5-{[(4-hydroxy-piperidine-1-carbothioyl)-amino]-methyl}-pyrrolidin-3-ylsulfanyl)-6-((R)-1-hydroxy-ethyl)-4-methyl-7-oxo-1-aza-bicyclo[3.2.0]hept-2-ene-2-carboxylic acid allyl ester

(2S,4S)-2-{[(imino)(pyrazol-1-yl)methyl]carbamoyl}-4-tritylthio-1-(allyloxycarbonyl)pyrrolidine

(2S,4S)-2-aminomethyl-4-tritylthio-1-(allyloxycarbonyl)pyrrolidine

allyl (2S,4S)-2-((2-((N,N-dimethylsulfamoyl)amino)ethyl)carbamoyl)-4-mercaptopyrrolidine-1-carboxylate

(2S,4S)-2-[2-(aminocarbonylamino)-2-(hydroxyimino)ethyl]-4-tritylthio-1-(allyloxycarbonyl)pyrrolidine