genus Allosaurus Synonyms