Domestic control of house dust mite allergen in children's beds.