1/4 cup dried porcini mushrooms