Wok-Fired Filet Mignon*