Yeah, even though we're double suited this is a fold preflop once 4-bet.

As for how to do the math, I released a vid on that exact topic just over a week ago: Calling 4-Bets

I just wanna say that we don't "know" he "always" has aces. Two very bad words: know and always. 140 hands is not enough at all to conclude that. I see nits every day shipping with something else for various reasons, even though their stats showed otherwise. He might decide you play too laggy now and punish you with broadways. He might be ending his session and is willing to gamble a bit. He maybe angry at himself playing too nitty and now gets brave. His wife may have shouted at him and he gets you guys for revenge. And the most simple reason: in 140 hands he may not have been dealt a single premium hand!!! 

This is not relevant here given the stack sizes are still too big for it to matter. But at some point we get close to the equity where the KKds has close enough odds to get it in when you add in the fact that you cannot see his cards and with varying weight he might have something else.

We have 32.82% vs AA** here now, and would need his stack to be roughly 8.50 dollars to break even here, so if he was all in preflop we could call and break even if we indeed "know" he has aces. Make his starting stack 50bb's and i believe you can get it in getting 38% pot odds but putting some weight to non-aces, though.