In the Late Empire and Middle Ages Vergilius was spelled Virgilius. In what century did some German-trained classicists in the US suggest modifying the common usage to Vergil