[(R)-4-tert-Butoxycarbonylamino-4-((S)-2,2-dimethyl-[1,3]dioxolan-4-yl)-2-oxo-butyl]-phosphonic acid dimethyl ester