Lucio Martínez, hijo de Pedro