I've never seen ProBX soil but a quick google search and it looks like it is quite different than the MYKE microbs. ProBx is being sold as "a biofungicide that prevents root diseases. The Bacillus subtilis bacteria colonize developing root systems, and combat disease-causing organisms that attack them" so to me looks totally different then beneficial bacteria in the Myke products. So what you use will depend on what you are trying to do. Do you have issues with root rot? Then looks like this ProBX would be what you want but if you want to increase plant health in general I would think a wide range of beneficial microbes is the way to go. The MYKE product I have does not appear to have this "Bacillus subtilis" that the ProBx has...my MYKE has : Glomus intraradices , Pisolithus tinctorius, Scleroderma cepa, Scleroderma citrinni, Rhizopogon roseolus, Rhizopogon subscaerelescens, Rhizopogon villosulus, Rhizopogon vulgaris, Laccaria laccata.
So maybe for best results us both?