champignon, paddenstoelensoep