Four-dimensional CP 1 +U(1) lattice gauge theory for three-dimensional antiferromagnets: Phase structure, gauge bosons, and spin liquid