Nuclear matter with a Bose condensate of dibaryons in relativistic mean-field theory