Howe duality for the dual pair SL2(ℝ) ×F4,1 : aping pong of K-types | Synapse