Synthesis of a potential “suicide substrate” of the HIV-1 protease, incorporating A 3-acetoxy-Δ-4,5-(L)-pipecolic acid as proline substitute.