Antonio del Castillo es el nombre por el que se conoce a varias personas: