Alvin Jensen (1900-1986)