Антонин точно может быть - раньше были имена Антонин и Антонина. А потом Антонин переделался в Антон (хорошо, что вовсе не пропал, как имя Анастасий, где остался только женский вариант).

Вот еще есть какой-то Долохин Захария (тоже старое имя), родившийся в 19-м веке в Пермской уезде: http://pokolenia.permkrai.ru/records/view/294901


Гы, а еще мне выдало: "Война и Мир, Том 2, стр. 10:
Что ж не играешь? — сказал Долохов. И странно, Николай почувствовал необходимость взять карту, поставить на нее незначительный куш"
http://croquis.ru/75.html
Даешь кроссовер ГП и Войны и Мира с Долоховым в главной роли!