Dictionary of Indian Biography/Bopp, Francis