Vražda jménem republiky - Karel Richter, Antonín Benčík