Some background that may help:
"Beneficial" bacteria might degrade and produce more available nutrients (good). Or bacteria might compete for nutrients and space, produce toxic by-products, disrupt pH, etc.
Azoz bacterium is used to increase nitrogen fixation/availability (presumably in soil, not in soil-less media, such as coco, and not in culture media). This does not seem relevant to growing mushrooms(??
Mykos is not bacteria. It's soil fungi meant to bind to roots and increase nutrient uptake. Fungal roots are much different, simpler, vs. plant roots. I doubt adding other likely competing fungi will make your mushrooms grow better.
[Otherwise, don't mushroom growers seek pure, non-contaminated cultures? Here wouldn't you be contaminating on purpose, and on a massive scale?]