Su nombre de pila era Juan González del Castrillo.