Wok-seared beef tenderloin with fresh green beans, red peppers, and onions in a spicy Korean BBQ sauce.