carne de cerdo con champiñones