Как правильно пишется слово "диноцефал"?

диноцефал
Русский орфографический словарь

диноцефал, -а и дейноцефал,