House dust mite allergy and shrimp allergy: a complex interaction