Marinated champignons