Dimension-reduced KRnet maps for high-dimensional Bayesian inverse problems