1-Azabicyclo[3.2.0]hept-2-ene-2-carboxylic acid,3-[[6-(dimethylamino)pyrazinyl]thio]-6-(1-hydroxy-1-methylethyl)-7-oxo-,trans-