allen ludden age at death