(2S,4S)-2-{[(4-Hydroxy-piperidine-1-carbothioyl)-amino]-methyl}-4-mercapto-pyrrolidine-1-carboxylic acid allyl ester

allyl (1R,5R,6S)-2-(diphenoxyphosphoryloxy)-6-[(R)-1-hydroxyethyl]-1-methylcarbapen-2-em-3-carboxylate