mushroom picker's disease; mushroom worker's disease