Augustine's influence on John Calvin