3,4-Dehydroproline, a proline antagonist