Buy Deepcool AG620, if you want something to keep CPU cool for cheap. For aesthetics as well, look at CM, MSI or Deepcool, they have AIOs under 7k. If possible look for Arctic options, considered great.
FYI, my friend is using AK400 for 5800X3D & I'm myself using AK400 for 9800X3D (although with UV). Unless you buy an Intel CPU that can consume 250W, you don't need an AIO for cooling, air coolers are enough.