Baked beef tenderloin with garlic