Identification and experimental validation of an HIV model for HAART treated patients