Error analysis of an implicit-explicit time discretization scheme for semilinear wave equations with application to multiscale problems.