Were Lazar Lyusternik and Alexander Ivanovich Mikhailov both Soviets?