Permethrin is effective against ants.
https://www.domyown.com/permethrin-s...html?rrec=true
I know from experience that allergies to Permethrin are possible.
A safe, but less effective solution might be to use diatomaceous earth.
https://www.amazon.com/dp/B071SG42FG...SG42FG5324050/