A holographic dual for string theory on $\mathrm{AdS}_3 \times \mathrm{S}^3 \times \mathrm{S}^3 \times \mathrm{S}^1$