人物生平姚晓程，男，汉族，1919年4月生，山西省繁峙县人