Primitive ideals and irreducible representations of $U_q(sl^+_4)$