Beef Tenderloin, Potato Puree, Mushrooms, Leeks, Pan Jus