Fluorine-containing α-alkynyl amino esters and access to a new family of 3,4-dehydroproline analogues