Transient distribution of an M-M-infinity queue

If $X_0=n$ and $p_t=e^{-\mu t}$, thenwith independent summands. The binomial term counts surviving initial customers; Poisson thinning gives the surviving later arrivals.