Synonyms for class_Gastromycetes