Antiferromagnetism and superconductivity in URu2Si2