You seem a bit mislead, or not?
There are only 3 ADCs in the STM32F4. To achieve 7.2MSps, you need to use all three in an interleave mode. So only single channel can be sampled. And at 7Msps (2.4M per ADC), don't really expect 12 ENOB. Especially on older STM32F4 devices (40x, 42x), the ADC is pure CRAP! Not sure how others like (41x, 46x, etc), but I would not expect any much better. So the maximum here you get is 1 channel at 7.2Msp, 3 channels of 2.4Msps or say 6 at 1.2Msps. Well, better than nothing, but...
I am not sure how have you thought to utilize these to sample the whole HF. I do not have any clue
Regarding standalone fast ADCs, I do know a few, for example AD9283. Only 8 bit, up to 100Msps and to be considered cheap. Can be obtained even cheaper if you know where to look. I know, 8 bit is not much to cover HF, but certainly cheap and gets you somewhere.
Then there was a time, where MAX1420 was available, now obsolete and not available anymore. 60MSps, 12bits. Not really for a full HF spectrum at once, but better than nothing, uh? Was not even that expensive back then. Still having a few pieces laying somewhere.
Then there is an interesting one: AD9609, available at $10, up to 80Msps and 10bits. That might start to do something. Interesting to note its huge analog input bandwidth.
The real king of ADCs here would be LTC2216, but this one is what I consider a f*king EXPENSIVE one. This one I think is used in the WebSDR at U Twente in Netherlands.
I do not know from head any others, these were what I know about, tried to use (AD9283) or have available.
I think that even in the $10 category that something interesting would be possible with the AD9609.
Still, you need to add the FPGA cost to it
You really won't get very far with a 455 KHz IF and a 4 MHz wide band.
Which HAM band is 4MHz wide? I think none of the HF ones are. Like a fraction of a MHz, 300k at most I think. Or if the BW is so much issue, just select higher IF frequency. It could then even be undersampled (if the ADC has enough input analog bandwidth).