Reduction of house dust mite allergens after dehumidifier use.