Dictionary of Indian Biography/Anquetil, Thomas John