Mushroom Biodiversity: a resource to be preserved