Antonio del valle ruiz biography definition