In a large saucepan, place a steamer basket over 1 in. of water. Place green beans in basket. Bring water to a boil. Reduce heat to maintain a low boil; steam, covered, 8-10 minutes or until crisp-tender., Meanwhile, in a large skillet, heat butter over medium-high heat. Add mushrooms and paprika; cook and stir 4-6 minutes or until mushrooms are tender. Add garlic; cook 1 minute longer. Add green beans and salt; toss to coat.