Baby Bok Choy With Mushrooms