Kinetic coupling between protein folding and prolyl isomerization. I. Theoretical models.