Synonyms for class_gastromycetes