Biotinylated biphenyl ketone-containing 2,4-dioxobutanoic acids designed as HIV-1 integrase photoaffinity ligands.