ВСЕХСВЯТСКИЙ, СЕРГЕЙ КОНСТАНТИНОВИЧ, русский астроном