歌剧《洪湖赤卫队》的曲作者是（）。