Eilenberg-Mac Lane Spaces in HoTT