Disintegration-like theorem@Ilya Actually you can drop the probabilistic objects (the random variables), the measure $\mu$ in Michael's answer plays the role of the law of $(A_1,A_2,B_2)$ (but I don't know why his answer looks so complicated). I prefer the probabilistic framework because of the interpretation of the integrals.