Diagnosis of house dust mite allergy