Indefonso Martínez López, Felipe Castillo y otros