How do I batch convert images from sRGB to CMYK with a specific ICC profile?

I have a few hundred sRGB .tif files that require conversion to the CMYK FORGRA52 ICC profile. I tried using the software XnConvert, but this doesn't work (I don't think it supports conversion from RGB to CMYK). Note I have a copy of the FOGRA52 ICC profile, which I was using as the output profile in XnConvert.

I'm using Ubuntu 20.04 and prefer a GUI solution if possible, but I'm willing to use the commandline provided the commands are explained clearly.

I previously used Adobe software on Windows, but have since migrated to using darktable for photo processing.

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.