The vertical distribution of house dust mite allergen in carpet and the effect of dry vacuum cleaning.