Nutritional supplement; dietary supplement; mushroom extract sold as a component ingredient of nutritional supplements for immunity