what is the television show whose opening theme is antônio carlos jobim ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_openingTheme dbr_Antônio_Carlos_Jobim sep_dot var_uri a dbo_TelevisionShow brack_close