Anthony O'Loughlin (1911-1992)