Properties and structure–activity studies of cyclic β-hairpin peptidomimetics based on the cationic antimicrobial peptide protegrin I