family Mycoplasmataceae Synonyms