Tony Thomas — American producer (born 1948)