genus Dipsosaurus Synonyms