- Mice deficient for soluble adenylyl cyclase are infertile because of a severe sperm-motility defect. Esposito, G., Jaiswal, B.S., Xie, F., Krajnc-Franken, M.A., Robben, T.J., Strik, A.M., Kuil, C., Philipsen, R.L., van Duin, M., Conti, M., Gossen, J.A., Jaiswal, B.S. Proc. Natl. Acad. Sci. U.S.A. (2004)