Either 4bet push or 4bet to like a little above 2x his raise to not get yourself in these decisions. As played easy shove. I don't advise trying to get this allin pre though at microstakes unless I know he can show up with stuff other than KK+ often.