George Folsey Jr., Renowned Film Editor and Producer, Dies at 85