新中国成立后，我国第一部谍战主题歌剧叫什么名字？