The activation peptide of human pepsinogen is an antimicrobial peptide