Carne de vacuno al wok con champiñon, pimentón y cebollín.