Efficacy of an air‐cleaning device equipped with a high efficiency particulate air filter in house dust mite respiratory allergy