Wachsman Alois (1898–1942)