A Non-Parametric Test for Interval-Censored Failure Time Data With Application to AIds Studies | Synapse