Diastereoselective functionalization of 5-hydroxy prolinates by tandem Horner-Emmons-Michael reaction