AIDS and the college health service.