anteosaurid Synonyms