M. I. Mikhailov, Russian indologist, specialised in ancient Indian literature, translator and editor