Shirley Brooks of Punch, his life, letters, and diaries