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