(3R,4S)-4-[(R)-1-(tert-butoxycarbonyl)-3-oxopiperidin-4-yl]-3-[(R)-1-(tert-butyldimethylsilyloxy)ethyl]-2-azetidinone