What work asserted a problem between a doctrine of Pius IX and the teachings of Aquinas?