First staged in 2016, the 400th anniversary of Cervantes’ death, James Fenton's adaptation of Don Quixote compresses the sprawling novel into just