In order to obtain peptide analogues containing a central pyrrolide bond, as potential mechanism-based inhibitors of the HIV-1 proteinase, activated derivatives of amino acids were required. Treatment of a N,N-bis(Boc) amino acid pyridinium salt with cyanuric fluoride in dichloromethane furnished