name the movie whose producer is john ashley and music is given by mike post ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_producer dbr_John_Ashley_ attr_open actor attr_close sep_dot var_uri dbp_music dbr_Mike_Post sep_dot var_uri a dbo_Film brack_close