Functional proteomics-aided selection of protease inhibitors for herbivore insect control