Synonyms for class_Gasteromycetes