Use of a condom in sex relations by HIV carriers.