die 10mA "kommen" nicht am MC an. Dieser würde dabei zerstört. Dieser Strom fließt nur durch den Spannungsteiler.
Was man noch gerne in solchen Fällen macht, ist eine Zenerdiode 5V1 parallel zum ADC Eingang schalten. Dann geht Dir der MC nicht hops, falls mal 12V am Spannungsteiler anliegen.
(Die Kommastellen kannst Du Dir sparen. Die Genauigkeit handelsüblicher Widerstände liegt bei 1%). Der AD Wandler dürfte auch so in der Gegend liegen.
2x 4,7k dürften auch genügen. Damit wird die Quelle nicht so belastet.
Gruß
pctoaster