search for 4k hdcp stripper on ebay.
get them while you still can.
Everything on eBay says it downconverts to 1080p. If I am missing one that doesn’t downconvert, I’m sorry.
However, that is what I’ve read about 4k captures: there aren’t strippers that remove hdcp while maintaining 4k.