antonio from encanto age