junjolon, mushroom (gen. term)