I think this is a fold, but it depends on how you are playing, you say you haven't tangled with him before, but have you been 3-betting other people at the table light? If your 3-bet range preflop is tight, and you've never 3-bet him preflop before this session I find it very unlikely that your kings are good here.

He raises from early position, you 3-bet him in middle position, he 4-bets and you call. A tight player would probably not 4-bet anything but AA/KK here, and he would certainly shut down on flop, calling that 4-bet is showing a LOT of strength after all. He has to put you on AA/KK, and when he then bets into you on flop I think this is a spot where you can fold KK.

If it had been some late position battle between laggs it would have been different, but this is early position and a tight player, not having a history earlier this session I can't see he would have any reason to try to bluff you off KK here.