KK-theory of reduced free-product C∗-algebras | Synapse