The house-dust mite (Dermatophagoides pteronyssinus) and the allergens it produces. Identity with the house-dust allergen