Films produced by John Jencks