Treatment of patients allergic to house dust mites