did allen ludden have children