Here's the 1DXIII image after running it through Sharpen AI. I used the "Too soft - normal" setting with auto parameters after that. Definitely it fixes the issue fully, and doesn't make it look artificially sharpened either. I didn't apply a mask --- the sharpening on the tree ended up being very minor anyway.
And here's a close-in crop of the same shot: