Schön!
Beide Namen gefallen mir sehr gut - schön, dass jetzt auch wieder häufiger die Klassiker vergeben werden. Wenn ich mich zwischen diesen beiden entscheiden müsste, würde ich Anton nehmen.
Andere alte Namen: Artur, Franz, Georg, Ferdinand, Johann, Konrad, Victor, Vinzenz, Martin, Paul, Peter, Oskar...
Für den Zweitnamen würde ich mich im Bekannten- und Verwandtenkreis umsehen.