John Boys — English translator of Virgil