Mario Martínez sería nuevo refuerzo del Alajuela de Costa Rica