Most professional mics have XLR connectors. Condenser mics require phantom power as well (unless they are battery-powered) which a "normal" 3.5mm audio jack will not provide.
If it's only 1-2 (xlr) mics, I would use a Scarlet 2i2 audio interface if possible and connect via its usb out. Although I have no idea how well it works with raspbian / ARM operating systems. There may be another type of interface that works with the rpi.
Either way, this is rather niche and goes beyond the rpi is intended for. You can still achieve rather good sound on a budget with a usb microphone depending on the room setup, etc.
https://www.raspberrypi.org/documentation/hardware/raspberry...
"Support for these additional bootmodes will be added in the future via optional bootloader updates. The current schedule is to release PXE boot first, then USB boot."
https://www.hifiberry.com/shop/boards/hifiberry-dac-pro-xlr/
Phantom power is usually 48V, sometimes 12V, and rarely some voltage in between.