mushroom cooking time