AllergenPro: an integrated database for allergenicity analysis and prediction