Observations on the nature of the house dust allergen