Baby hat Mückenstich hinterm Ohr - was kann man draufmachen???

Hallo!

Aaron (5 Monate alt) wurde heute nacht von einer Stechmücke hinterm Ohr gestochen .
Jetzt juckt ihn der Stich total, er will die ganze Zeit kratzen und heult nur und kann deshalb nicht einschlafen.
Er tut mir echt leid.
Weiß aber nicht, was man da bei so einem kleinen Baby machen kann?! Hab ihm schon Muttermilch drauf gemacht, da man ja immer sagt, das sei für alles mögliche gut, und schaden kanns ja nicht... bringt aber leider scheinbar auch nichts. Habt ihr irgendwelche Tipps für mich?

LG Simone