former additional chief secretary dr. d. babu paul passes away