Synthesis of 2R,3S,4R-dihydroxyproline from D-ribonolactone