name the movie whose producer is karan johar and music is given by amaal mallik ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_producer dbr_Karan_Johar sep_dot var_uri dbp_music dbr_Amaal_Mallik sep_dot var_uri a dbo_Film brack_close