You could use a hdmi to usb 3

#215054

You could use a hdmi to usb 3.0 capture card,as we know seetec have one,but not support 4k,check the link below:
http://seetec.cn/ShowInfo.aspx?id=31&py=HDMI-to-SDI-Converter-HTS

Best Products

homicide-bootstrap