david ludden allen ludden