Finitely generated universal varieties of distributive double p-algebras