COMMUNICATIONS OF THE MOSCOW MATHEMATICAL SOCIETY: The semi-infinite homology of Kac-Moody and Virasoro Lie algebras