Allergen extract from house dust mites