AIDS in the UK.