A quite and easy mushroom and pak choi stir fry recipe.