È morto Ciro Cirillo, uno dei prigionieri eccellenti delle Brigate rosse