1972年，陈毅元帅追悼会上，毛主席与粟裕缅怀井冈山战友