Text this: Penaeidins, a family of antimicrobial peptides from penaeid shrimp (crustacea, decapoda)