Each admissible allocation is a surjective map $f:\>[12]\to[4]$. Such maps are counted by the Stirling numbers of the second kind. To be precise: The number of surjective maps $f:\>[n]\to[k]$ is given by $k!\, S(n,k)$. There are recursions and tables for these numbers, but no closed formula in terms of factorials etc.