Оба варианта хороши. Но я бы выбрала Антонину. Исключительно из-за редкости. Анна уж чересчур часто встречается. И даже огромное количество производных не выправляют положение. Обязательно надо уточнять, о какой именно Анне идет речь. А Антонину-Тоню-Тосечку точно по фамилии звать не придется.У меня соседка Антонина - девяносто пятый годок будет праздновать вскоре . Очень милая дама, прожила интересную и довольно счастливую жизнь. Так что, по поводу того, насколько тяжелая судьба у носительниц этого имени, я бы поспорила.