Los únicos nombres «de pila» que se españolizan son los de los miembros de las casas reales (Federico de Prusia, la princesa Diana de Gales, Luis XIV...), los de los papas (Juan XXIII, Juan Pablo II, Benedicto XVI...) y los de los santos (santo Tomás de Canterbury, san Martín de Tours, santa Juana de Arco), así como, en ocasiones, los de algunos autores y artistas extranjeros antiguos, como Alejandro Dumas, Julio Verne, Miguel Ángel  o Rafael, aunque en este caso se tiende cada vez más a emplear el nombre original. Como los ejemplos que usted pone no corresponden a estas categorías, deben mantenerse los nombres originales.