Rosemary mushroom sauce for beef tenderloin