AIDS deaths in the UK—How complete are the figures?