હરગોવિંદ લક્ષ્મીશંકર ત્રિવેદી છે.