Su nombre completo fue: Carlos Luis Juan José Lorenzo.