Robert Michael Ballantyne: Life in the Red Brigade