Synthesis of 2-phosphonopyrrolidine and its substitution for proline in an inhibitor of angiotensin-converting enzyme