tiempo de cocción de champiñones en olla express