michael j. allen