2-Oxa-7,9-diazabicyclo[4.2.2]decane-8,10-dione,5-[[[(2,4-difluorophenyl)methyl]thio]methyl]-6-hydroxy-1-[(S)-hydroxy[(4S)-2,2,4-trimethyl-1,3-dioxolan-4-yl]methyl]-, (1S,5R,6R)-