what was allen ludden’s net worth