ernesto antonio lima perez