Dimas de Miguel, amigo de Juan de Herrera.