Off the top of my head,
The HDCP stripper I mentioned above + Blackmagic Design DeckLink 4K Extreme
This card costs $950. You can save $550 if you don't need multichannel sound, but it's only sold in Japan so you need to find a way to import: Micomsoft SC-512-L/DVI.