1-Azabicyclo[3.2.0]hept-2-ene-2-carboxylic acid,3-[(diphenoxyphosphinyl)oxy]-6-[(1R)-1-hydroxyethyl]-4-methyl-7-oxo-,2-propenyl ester, (4R,5S,6S)-