An antifungal peptide from baby lima bean