Aryl phosphate derivatives of bromo-methoxy-azidothymidine are dual-function spermicides with potent anti-human immunodeficiency virus.