Question: What is the nickname of the driver who was replaced by Jenson Button and Kevin Magnussen?
Sentence (from "Aluizio Coelho"): He competed in all rounds, finishing 9th in the championship on 45 points, but that was only just over a quarter of Button's impressive tally of 168.
Relevant evidence: No