marinated champignons recipe