4. While the beans are cooling, saute the mushrooms and onions with the butter, salt, and pepper for five minutes until the onions have begun to soften and the mushrooms have started to shrink. Add the garlic and continue to saute for one more minute.