हाल ही में डॉ. हरगोविंद लक्ष्मीशंकर त्रिवेदी का निधन हुआ, वे किस क्षेत्र के विशेषज्ञ थे?