genus Micrococcus Synonyms