Szechuan Red-cooked Noodles and Beef