House dust mite allergy in Florida. Mite survey in households of mite-sensitive individuals in Tampa, Florida.