We study the asymptotic behaviour of the time-changed stochastic process XfX(t)=B(SfS(t))\vphantom {X}^f\!X(t)=B(\vphantom {S}^f\!S (t)), where BB is a standard one-dimensional Brownian motion and SfS\vphantom {S}^f\!S is the (generalized) inverse of a subordinator, i.e. the first-passage time process corresponding to an increasing Lévy process with Laplace exponent ff. This type of processes plays an important role in statistical physics in the modeling of anomalous subdiffusive dynamics. The main result of the paper is the proof of the mixing property for the sequence of stationary increments of a subdiffusion process. We also investigate various martingale properties, derive a generalized Feynman-Kac formula, the laws of large numbers and of the iterated logarithm for XfX\vphantom {X}^f\!X.