Seshendra Sharma (1927-2007)/biography