Wok de ternera con setas, verduras