. . "1/2 - 1 ounce dried porcini or other mushrooms (about 1/2 - 1 cup)" . .