Juan doc restrepo biography definition