Pro-p subgroups of spin groups and quaternion algebras