Theory of Microwave Parametric Down-Conversion and Squeezing Using Circuit QED | Synapse