Phosphodiesterase type IV (PDE IV) inhibition. Synthesis and evaluation of a series of 1,3,4-trisubstituted pyrrolidines