Synonyms: 1-Azabicyclo[3.2.0]hept-2-ene-2-carboxylicacid,6-(1-hydroxyethyl)-4-methyl-3-[[5-[3-[(methylsulfonyl)amino]-1-propenyl]-3-pyrrolidinyl]thio]-7-oxo-,[4R-[3[3S*,5S*(E)],4a,5b,6b(R*)]]-; 1-Azabicyclo[3.2.0]hept-2-ene-2-carboxylicacid,6-[(1R)-1-hydroxyethyl]-4-methyl-3-[[(3S,5S)-5-[(1E)-3-[(methylsulfonyl)amino]-1-propenyl]-3-pyrrolidinyl]thio]-7-oxo-,(4R,5S,6S)- (9CI); DA 1131